/*
 * Copyright 2008 Stuart Moffatt stuartmoffatt@gmail.com
 * 
 * Licensed under the Apache License, Version 2.0 (the "License"); you may not
 * use this file except in compliance with the License. You may obtain a copy of
 * the License at
 * 
 * http://www.apache.org/licenses/LICENSE-2.0
 * 
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
 * License for the specific language governing permissions and limitations under
 * the License.
 */
package com.googlecode.emcode.rvha.client.ui;

import com.google.gwt.core.client.GWT;
import com.google.gwt.user.client.ui.Composite;
import com.google.gwt.user.client.ui.Frame;
import com.google.gwt.user.client.ui.VerticalPanel;

public class Sources  extends Composite {

    private Frame frame;
    private VerticalPanel vpanel;
    
    public Sources()
    {
        
        frame = new Frame("sources.html");
        frame.setStyleName("sources-frame");
        frame.setSize("100%", "100%");
        
        vpanel = new VerticalPanel();
        vpanel.add(frame);
        
        initWidget(vpanel);

    }
    
    public void resizeFrame(int width, int height)
    {
        

        String w = Integer.toString(width - 30);
        String h = Integer.toString(height - 20);
        
        GWT.log("Setting scroller and frame width to:" + w, null);
        GWT.log("Setting scroller and frame height to:" + h, null);
        
        w = w + "px";
        h = h + "px";

        frame.setSize(w, h);
        
    }
    
}
